指称语义（Denotational Semantics） 指称语义学认为，程序设计语言的语义是由其语言成份的语义决定的，而程序设计语言 成份的语义应该是其本身固有的，与程序设计语...
基于2520个网页-相关网页
1973年straehy和scott提出了指称语义学(denotational semantics)〔‘〕,取得了形式语义理论的一次重大突破. IBM维也纳实验室基于指称语义学提出了著名的规范描述的形式方法一维也纳开发方法.
基于32个网页-相关网页
... 标志描述 denotational description 标志语意 denotational semantics 标志语意语言 Denotational Semantics Language ...
基于20个网页-相关网页
... 外延迟时间 external delay time 外延语义学 denotational semantics 外因延迟 external delay ...
基于12个网页-相关网页
Denotational Semantics Language 标志语意语言
denotational semantics method 标志语意方法
formal denotational semantics 形式表示语义 ; 形式标志语意
denotational semantics detail 标志语意
direct denotational semantics 直接指称语义
metric denotational semantics 度量指称语义
defining denotational semantics 定义名称语义学
·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
最后还给出了时间化RSL的一些代数定律。 这些定律可以从其指称语义证明，并用于程序的转化和优化。
应用推荐